es{-}dtype(${\it es}$; $i$; $x$; $T$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$($\uparrow$es{-}isconst(${\it es}$; $i$; $x$)) $\wedge$ subtype\_rel(es{-}vartype(${\it es}$; $i$; $x$); $T$)